|
Your search returned 7 records. Click on the hyperlinks to view further details of Titles.. |
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1992 Volume number : 18 Issue: 03 |
An Automated Approach To Information Systems Decomposition
(Article)
Subject:
Information Hiding
,
System Description
,
System Concepts
Author:
Dan
Paulson
Yair
Wand
page:
174
-
189
Orca A Language For Parallel Programming Of Distributed Systems
(Article)
Subject:
Amoeba
,
Broadcasting
,
Distributed Systems
Author:
Henri E.
Bal
Andrew S.
Tanenbaum
page:
190
-
205
Structural Testing Of Concurremnt Programs
(Article)
Subject:
Concurrency
,
Coverage
,
Structural
Author:
Richard N.
Tayolr
David L.
Levine
Cheryl D.
Kelly
page:
206
-
215
Two-Dimensional Specification Of Universal Quantification In A Graphical Database Query Language
(Article)
Subject:
Universal Model
,
Databases
,
Relational View
Author:
Kyu-Young
Whang
Luanne
Burns
Ashok
Malhotra
page:
216
-
224
A Lingua Franca For Concurrent Logic Prigamming
(Article)
Subject:
Ghc
,
Parallelism
,
Parlog
,
Semantics
Author:
Hamish
Taylor
page:
225
-
236
A Control-Glow Normalization Algorithm And Its Complexity
(Article)
Subject:
Continuant
,
Elimination Method
,
Reducibility
Author:
Zahira
Ammarguellat
page:
237
-
251
Specification And Analysis Of Parallel/Distributed Sofware And Systems By Petri Nets With Transition Enabling Functions
(Article)
Subject:
Distributed Software
,
Parallel Software Structure
,
Software Specification
Author:
Yiannis E.
Papelis
Thomas L.
Casavant
page:
252
-
261
|
|
| | |